Furusho on Racinet
June-15-10
4:13 AM
From Furusho's arXiv:0808.0319v2: